decoration

Poids de l’Open access dans la production CNRS

Titre

A Coq Formal Proof of the Lax-Milgram Theorem

XX

BSO - Titre

A Coq formal proof of the LaxMilgram theorem

XX

DOI

DOI10.1145/3018610.3018625

XX

DOAI

DOAI10.1145/3018610.3018625

XX

Identifiant WoS

WOS:000405305600009

XX

Accès ouvert

OA - Oui

XX

Source - Accès ouvert

OA - Non

XX

Type d'accès

Archive

XX

Editeur

ACM Press

XX

Source

PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17

XX

Type de document

Proceedings Paper

XX

Notoriété

0 - Sans notoriété

XX

CNRS

Oui

XX

CNRS - Institut

INS2I - Institut des sciences de l'information et de leurs interactions

XX

Powered by Lodex 9.6.0

decoration